four-color theorem câu

Câu ví dụ

1. "Formal proof–the four-color theorem."
   Định lý bốn màu (four-color theorem)
2. the Four-Color Theorem,
   Bộ Tứ Tinh Nghịch thuyết minh ,